Distributed dynamic programming using concurrent object-orientedness with actors visualized by high-level Petri nets
نویسندگان
چکیده
منابع مشابه
Concurrent Object-orientedness with Actors Visualized by High-level Petri Nets
Recurrence formulations for various problems, such as finding an optimal order of matrix multiplication, finding an optimal binary search tree, and optimal triangulation of polygons, assume a similar form. These formulations are known as dynamic programming approaches. We study a distributed version of the CYK algorithm of membership problem for context-free languages as an example of the dynam...
متن کاملDistributed Control Systems Simulation Using High Level Petri Nets
To deal with the complexity of the implementation of control systems for exible manufacturing systems formal methods of design are needed. In this work the modelling and validation tool selected is high level Petri nets. Based on this approach we have studied the problems that a distributed implementation can produce. For the evaluation of diierent strategies of the model implementation and the...
متن کاملObject-Oriented Modelling with High-Level Modular Petri Nets
In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurrent system specifications written in object-oriented formalisms or languages with Petri nets, and second, as a way of allowing automated verification of the obtained Petri net using existing reachability analysis tools. We start ...
متن کاملVerification in Concurrent Programming with Petri Nets Structural Techniques
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada nets for Ada programs), we show how one can fully exploit the relationship between the behavior of the concurrent program and the structure of the corresponding Petri net. Using the siphon structure, we precise some struc...
متن کاملHigh Level Petri Nets Analysis with Helena
This paper presents the high level Petri nets analyzer Helena. Helena can be used for the on-the-fly verification of state properties, i.e., properties that must hold in all the reachable states of the system, and deadlock freeness. Some features of Helena make it particularly efficient in terms of memory management. Structural abstractions techniques, mainly transitions agglomerations, are use...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1999
ISSN: 0898-1221
DOI: 10.1016/s0898-1221(99)00139-x